翻訳と辞書 Words near each other ・ Durchholzen ・ Durchlauchtster Leopold, BWV 173a ・ Durchmusterung ・ Durcon ・ Durcupan ・ Durdane series ・ Durdans Hospital ・ Durdans, Mundesley ・ Durdar ・ Durdat-Larequille ・ Durden ・ Durden Machinery ・ Durdent ・ Durdent (river) ・ Duration (project management) ・ Duration calculus ・ Duration gap ・ Duration models with time-varying data ・ Duration neglect ・ Duration of English Parliaments before 1660 ・ Duration of English, British and United Kingdom Parliaments from 1660 ・ Duration series ・ Duratrans ・ Duratón ・ Duratón (river) ・ Duratón, Segovia ・ Duraundha ・ Durava ・ Duravel ・ Duravit Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Duration calculus ： ウィキペディア英語版 Duration calculus Duration calculus (DC) is an interval logic for real-time systems. It was originally developed by Zhou Chaochen with the help of Anders P. Ravn and C. A. R. Hoare on the European ESPRIT Basic Research Action (BRA) ''ProCoS'' project on ''Provably Correct Systems''.〔Zhou Chaochen, C. A. R. Hoare and Anders P. Ravn, A Calculus of Durations, ''Information Processing Letters'', 40(5):269–276, December 1991.〕〔Zhou Chaochen and Michael R. Hansen, ''Duration Calculus: A Formal Approach to Real-Time Systems''. Springer-Verlag, Monographs in Theoretical Computer Science, An EATCS Series, 2003. ISBN 3-540-40823-1.〕 DC is mainly useful at the requirements level of the software development process for real-time systems. Some tools are available (e.g., DCVALID,〔(DCVALID: A tool for model-checking Duration Calculus formulae ), TIFR, India.〕 IDLVALID,〔(IDLVALID: Model checking dense time Duration Calculus formulae ), TIFR, India.〕 etc.). Subsets of Duration Calculus have been studied (e.g., using discrete time rather than continuous time). DC is especially espoused by UNU-IIST in Macau and the Tata Institute of Fundamental Research in Mumbai, which are major centres of excellence for the approach. ==See also== *Interval Temporal Logic (ITL) *Temporal logic *Temporal Logic of Actions (TLA) *Modal logic 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Duration calculus」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.